Simpler Category Theory
ryanbrewer.dev·2d·
Discuss: Hacker News
⚠️Error Handling
Scheme Basics
courses.cs.washington.edu·10h·
Discuss: Hacker News, Hacker News
⚠️Error Handling
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
⚠️Error Handling
Free Theory of Computation text
reddit.com·1d·
Discuss: r/compsci
🔧functional programming languages
An Update on Pytype
github.com·2d·
Discuss: Hacker News
🐪ocaml
🔗 Why I chose OCaml as my primary language
yellowduck.be·6h
🐪ocaml
Attractive serial dependence arises during decision-making
journals.plos.org·9h
🔧functional programming languages
Observability at scale
antithesis.com·11h
🔧functional programming languages
DEPTH: Hallucination-Free Relation Extraction via Dependency-Aware Sentence Simplification and Two-tiered Hierarchical Refinement
arxiv.org·1d
🔧functional programming languages
Lobsters Interview with Matklad
lobste.rs·9h·
Discuss: Lobsters
🦀Rust
Attention is All We Need: On Leif Weatherby’s Language Machines
3quarksdaily.com·14h
🔧functional programming languages
The power of C++26 reflection: first class existentials
reddit.com·20h·
Discuss: r/cpp
🦀Rust
Learning Decision Process Theory with a Wolfram Language Toolkit
blog.wolfram.com·3h
🔧functional programming languages
New ByteDance Seed reasoning RL paper, relating RL to self-supervised learning.
threadreaderapp.com·9h
🔧functional programming languages
Contrasting Data and Objects (2018)
tedinski.com·1d·
Discuss: Hacker News
🔧functional programming languages
Exhaustive Switch Expressions in TypeScript
replo.computer·2d·
Discuss: Hacker News, r/typescript
⚠️Error Handling
Sapir-Whorf does not apply to Programming Languages
buttondown.com·1d·
Discuss: Hacker News
🔧functional programming languages
Cracking the Density Code: Why MAF Flows Where KDE Stalls
towardsdatascience.com·6h
💻programming
Show HN: I built a tool to help you quickly understand MBTI personality types
easymbti.org·1d·
Discuss: Hacker News
🔧functional programming languages
Macroeconomic Foundation of Monetary Accounting by Diagrams of Categorical Universals
arxiv.org·1d
🔧functional programming languages